Nuprl Definition : namer-shift
11,40
postcript
pdf
namer-shift(
n
;
namer
)(
i
) ==
namer
(
i
+
n
)
latex
Definitions
n
+
m
,
f
(
a
)
,
x
.
A
(
x
)
FDL editor aliases
namer-shift
origin
x.A(x)x.A(x)